PROOFS AND TYPES